Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
201	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
202	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning
203	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
204	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2015-04-20 13:48:41 Logic in computer science Operational semantics Lambda calculus Closure Combinatory logic Denotational semantics Divergence Rewriting Algorithm Semantics Standard ML
205	Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:04:56 Operations research Mathematical optimization Constraint programming Logic in computer science NP-complete problems Topology Satisfiability modulo theories Dynamic programming Semidefinite programming
206	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:34 Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
207	Modular Bisimulation Theory for Computations and Values Appendix A 17 Add to Reading List Source URL: plancomps.dreamhosters.com Language: English - Date: 2014-11-22 16:20:54 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Stochastic processes Stopping time Primitive recursive functional
208	A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy3 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:46 Constraint programming Constraint Constraint logic programming Constraint satisfaction
209	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
210	c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Lambda calculus Functional programming Subroutines Formal methods Theoretical computer science Combinatory logic Let expression Lambda lifting Anonymous function Monad Closure Partial application